#ifndef __DEVICE_KEYBOARD_H
#define __DEVICE_KEYBOARD_H

#include "stdint.h"

void keyboard_init(void);

#endif